BAR Fault Tolerance for Cooperative Services Extended Technical Report TR-05-10
نویسندگان
چکیده
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both rational behaviors when nodes arbitrarily deviate from the protocol for their local benefit and Byzantine behaviors when a broken, misconfigured, or malicious node arbitrarily deviates from the protocol for any other reason. The paper examines this problem in the context of a cooperative backup system and makes three contributions. First, it introduces the BAR (Byzantine, Altruistic, Rational) model, which provides the foundation for reasoning about the properties of this class of services. Second, it presents a general three-tier architecture aimed at reducing the complexity of building services developed in the BAR model. Our realization of this architecture includes an asynchronous replicated state machine that provides the normal safety and liveness guarantees as long as at most than n−2
منابع مشابه
AFRL - IF - RS - TR - 2005 - 318 Final Technical Report September 2005 BETTER FAULT TOLERANCE VIA APPLICATION ENHANCED NETWORKS
متن کامل
Improving the Reliability of Cooperative Concurrent Systems with Exception Flow Analysis
Developers of fault-tolerant distributed systems must guarantee that the fault tolerance mechanisms they build are, themselves, reliable. Otherwise, these mechanisms might end up contributing negatively to overall system dependability, thus defeating the purpose of introducing fault tolerance into the system. To achieve the desired levels of reliability, the development of mechanisms for detect...
متن کاملMediating Web Services for Dependability
The paper presents a novel approach to improving dependability of Web Service composition. The proposed architecture, called WS-Mediator, relies on an off-theshelf mediator solution implementing run-time dependability monitoring and assessment, resilience-explicit computing and fault tolerance mechanisms used together to achieve dependable dynamic Web Service integration. We have implemented a ...
متن کاملMeasuring and Dealing with the Uncertainty of SOA Solutions
The paper investigates the uncertainty of Web Services performance and the instability of their communication medium (the Internet), and shows the influence of these two factors on the overall dependability of SOA. We present our practical experience in benchmarking and measuring the behaviour of a number of existing Web Services used in e-science and bio-informatics, provide the results of sta...
متن کاملA method for rigorous development of fault-tolerant systems
With our increasing dependency on computer-based systems, ensuring their dependability becomes one the most important concerns during system development. This is especially true for missionand safety-critical systems. Critical systems typically use fault tolerance mechanisms to mitigate run-time errors. However, fault tolerance modelling and, in particular, rigorous definitions of fault toleran...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005